201. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
پدیدآورنده: Michel Parigot, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1955
202. Logic for programming, artificial intelligence, and reasoning :
پدیدآورنده: Edmund M. Clarke, Andrei Voronkov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Informatique.,Logic programming -- Congresses.,Logic programming.
203. Logic for programming, artificial intelligence, and reasoning
پدیدآورنده: / Franz Baader, Andrei Voronkov (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Automatic theorem proving
رده :
QA
76
.
63
.
L735
2005
204. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR
پدیدآورنده: Moshe Y. Vardi, Anderi Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2850
205. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR
پدیدآورنده: Franz Baader, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
206. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR
پدیدآورنده: Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
207. Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
پدیدآورنده: Robert Nieuwenhuis, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
2250
208. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR
پدیدآورنده: / Geoff Sutcliffe, Andrei Voronkov (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
209. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
210. Logic of programming and calculi of discrete design
پدیدآورنده: edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages
رده :
QA
267
.
3
.
N38
1986
211. Logic program synthesis and transformation--Meta-programming in Logic, 4th International Workshops
پدیدآورنده: Laurent Fribourg, Franco Turini, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
883
212. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده: Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
213. Logic programming
پدیدآورنده: edited by K.L. Clark and S.-A. Tarnlund
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
6
.
L587
214. Logic programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ; Computer programming ; Congresses. ;
215. Logic programming :
پدیدآورنده: James H. Andrews
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
216. Logic programming
پدیدآورنده: CLARK,KEITH L ED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
L58
217. Logic & programming
پدیدآورنده: PARENT,MICHEL
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ROBOTICS , ROBOTS,INDUSTRIAL
رده :
TJ
211
.
P37
1984
218. Logic programming
پدیدآورنده: Patricia M. Hill, David S. Warren (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming, Congresses
رده :
QA76
.
63
.
I57
2009eb
219. Logic programming '88 :
پدیدآورنده: K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming-- Congresses.
رده :
QA76
.
63
.
L63
1989
